Minimal bounded index subgroup for dependent theories
نویسندگان
چکیده
منابع مشابه
Minimal Hypersurfaces with Bounded Index
We prove a structural theorem that provides a precise local picture of how a sequence of closed embedded minimal hypersurfaces with uniformly bounded index (and volume if the ambient dimension is greater than three) in a Riemannian manifold (M, g), 3 ≤ n ≤ 7, can degenerate. Loosely speaking, our results show that embedded minimal hypersurfaces with bounded index behave qualitatively like embed...
متن کاملSubgroup Alignment in Hypercolor Theories
To analyze the physical consequences of a dynamically broken theory of the weak interactions, we must know how the weak gauge group is aligned in an approximate flavor-symmetry group. For a large class of models, spectral-function sum rules enable us to determine this alignment explicitly. We work out the pattern of the electroweak symmetry breakdown for several sample models. Critical values o...
متن کاملDefinable Groups for Dependent and 2-dependent Theories
Let T be a (first order complete) dependent theory, C a κ̄-saturated model of T and G a definable subgroup which is abelian. Among subgroups of bounded index which are the union of < κ̄ type definable subsets there is a minimal one, i.e. their intersection has bounded index. See history in [Sh:876]. We then deal with definable groups for 2-dependent theories, a wider class of first order theories...
متن کاملTheories for Subexponential - size Bounded - depth
This paper is a contribution to our understanding of the relationship between uniform and nonuniform proof complexity. The latter studies the lengths of proofs in various propositional proof systems such as Frege and bounded-depth Frege systems, and the former studies the strength of the corresponding logical theories such as VNC1 and V0 in [7]. A superpolynomial lower bound on the length of pr...
متن کاملOn theories of bounded arithmetic for NC
We develop an arithmetical theory VNC ∗ and its variant VNC 1 ∗, corresponding to “slightly nonuniform” NC . Our theories sit betweenVNC 1 and VL, and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of Σ0 (LVNC1∗)-formulas provable inVNC 1 ∗ admit L-uniform polynomial-size Frege proofs.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2007
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-07-08654-6